A Timer-Based Connection Management Protocol with Synchronized Clocks and its Verification

Connection management ensures that each message of a connection is ac cepted at most once and that a connection is not closed before all messages and acknowledgements are received We introduce a connection management protocol that is based on timers the use of approximately synchronized clocks and unique connection identi ers Synchronized clocks support accurate end to end lifetime enforcement and in combination with unique connection iden ti ers simplify duplicate detection after recovery from a failure Our protocol has the following desirable characteristics no extra messages for connec tion setup or release no connection setup latency fast connection state release and immediate resumption of communication after an endsystem failure